deploying a war file from jenkins to tomcat